Arbitrary Nesting of Spatial Computations

نویسندگان

  • Antoine Spicher
  • Olivier Michel
  • Jean-Louis Giavitto
چکیده

Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nesting in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models from a programming point of view. The use of arbitrary nested spatial structures allows a hierarchical form of coupling between them. We propose an extension of the MGS patternmatching facilities to handle directly nesting. This makes possible the straightforward emulation of a larger class of unconventional programming models.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Unconventional and Nested Computations in Spatial Computing

Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nested topological collections in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models...

متن کامل

A Java/Jini Framework Supporting Stream Parallel Computations

JJPF (the Java/Jini Parallel Framework) is a framework that can run stream parallel applications on several parallel-distributed architectures. JJPF is actually a distributed execution server. It uses JINI to recruit the computational resources needed to compute parallel applications. Parallel applications can be run on JJPF provided they exploit parallelism accordingly to an arbitrary nesting ...

متن کامل

On the Complexity of Conditional Logics

Conditional logics, introduced by Lewis and Stalnaker, have been utilized in artiicial intelligence to capture a broad range of phenomena. In this paper we examine the complexity of several variants discussed in the literature. We show that, in general, deciding satis-ability is PSPACE-complete for formulas with arbitrary conditional nesting and NP-complete for formulas with bounded nesting of ...

متن کامل

DALD:-Distributed-Asynchronous-Local-Decontamination Algorithm in Arbitrary Graphs

Network environments always can be invaded by intruder agents. In networks where nodes are performing some computations, intruder agents might contaminate some nodes. Therefore, problem of decontaminating a network infected by intruder agents is one of the major problems in these networks. In this paper, we present a distributed asynchronous local algorithm for decontaminating a network. In mos...

متن کامل

Selection of nesting habitat of hawksbill turtle (Eretmochelys imbricata) in two coral islands of Qeshm and Hengam in the Persian Gulf, Iran

The Persian Gulf islands are the nesting regions for the severely endangered hawksbill turtle (Eretmochelys imbricata) species. Therefore, the selection of the nesting habitat of this species in the two islands of Qeshm and Hengam was studied by a five-member working group in the spring of 2013 - 2015. Ultimately, 23 and 17 nests were identified in the south of Qeshm Island and in the south and...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012